- higher-order closure model
- 高阶闭合模式
Atmospheric Sciences (English-Chinese) dictionary. 2014.
higher-order closure model
Look at other dictionaries:
Closure (computer science) — In computer science, a closure (also lexical closure, function closure, function value or functional value) is a function together with a referencing environment for the non local variables of that function.[1] A closure allows a function to… … Wikipedia
Higher education in British Columbia — is delivered by 26 publicly funded institutions that are composed of eleven universities, twelve colleges, and three institutes. This is in addition to three private universities, five private colleges, and six theological colleges. There are… … Wikipedia
Model rocket — A typical model rocket during launch A model rocket is a small rocket that is commonly advertised as being able to be launched by anybody, to, in general, low altitudes (usually to around 100–500 m (300–1500 ft) for a 30 g (1 oz.) model) and … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Second-order logic — In logic and mathematics second order logic is an extension of first order logic, which itself is an extension of propositional logic.[1] Second order logic is in turn extended by higher order logic and type theory. First order logic uses only… … Wikipedia
New economic order — The NEO typology (NEO = new economic order) is a population classification that is widely regarded as the determining economic framework of post industrial countries. It includes the standard socio economic and demographic factors – age,… … Wikipedia
Implementation Maturity Model Assessment — The Implementation Maturity Model (IMM) is an instrument to help an organization in assessing and determining the degree of maturity of its implementation processes .This model consists of two important components, namely the:* five maturity… … Wikipedia
Plus-size model — is a term internationally applied to a woman who is engaged primarily in modeling garments that are designed and marketed specifically for larger body sizes and types (see plus size clothing). These models are also increasingly engaging in work… … Wikipedia
education — /ej oo kay sheuhn/, n. 1. the act or process of imparting or acquiring general knowledge, developing the powers of reasoning and judgment, and generally of preparing oneself or others intellectually for mature life. 2. the act or process of… … Universalium
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
